Nuprl Lemma : atom-free-function 0,22

AB:Type. AtomFree(Type;A AtomFree(Type;B AtomFree(Type;AB
latex


Definitionsx:AB(x), P  Q, t  T, Prop
Lemmasatom-free wf

origin